RWTH Aachen University - PDFSEARCH.IO - Document Search Engine

RWTH Aachen University
Results: 580

#	Item
261	Games with delay for automaton synthesis ¨ Christof Loding RWTH Aachen University, Germany GandALF Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Automata theory Models of computation Finite-state machine
262	Basic Structure of TGGS Technical Groups (Basic Operational Units) 1 RWTH and 1 Bangkok Group Coordinator RWTH Research Support Staff Add to Reading List Source URL: studyinthailand.org Language: English - Date: 2013-04-30 12:30:15 North Rhine-Westphalia Geography of Germany Aachen RWTH Aachen University States of Germany
263	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
264	Constructions and Algorithms for ω -Automata ¨ Christof Loding RWTH Aachen University, Germany Workshop Automaten und Logik“ beim Theorietag Automaten Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-10-24 06:57:04 Büchi automaton Computer science Automata theory Theoretical computer science Formal methods
265	Important step towards quantum computing: Metals at atomic scale Add to Reading List Source URL: phys.org Language: English - Date: 2015-04-16 19:56:37 Scanning tunneling spectroscopy Electron Solid RWTH Aachen University Spectroscopy Scanning tunneling microscope Physics Condensed matter physics Topological insulator
266	Decision Problems for Deterministic Pushdown Automata on Infinite Words ¨ Christof Loding RWTH Aachen University, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-07-22 06:08:02 Formal languages Computer science Deterministic pushdown automaton SC Finite-state machine Alphabet Ordinal number Nested word Automata theory Theoretical computer science Models of computation
267	The Young Geomorphologists invite all interested young researchers in geomorphology and related fields to join the 9th international Young Geomorphologists‘ workshop in the „Nationalpark-Gästehaus“ Heimbach-Hergar Add to Reading List Source URL: blogs.egu.eu Language: English - Date: 2015-02-18 08:17:57 Geomorphology RWTH Aachen University Heimbach Academia Earth sciences Landscape Physical geography
268	Toward a Structure Theory of Regular Infinitary Trace Languages? Namit Chaturvedi?? RWTH Aachen University, Lehrstuhl f¨ ur Informatik 7, D[removed]Aachen [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2014-04-16 12:46:55 Muller automaton Mathematics Representation theory of finite groups Mathematical analysis Remarkable cardinal Automata theory Ω-automaton Symbol
269	CENTRE FOR BIOETHICS at Karolinska Institutet & Uppsala University VIII Annual Symposium on Biomedicine, Ethics and Society: “Rethinking Informed Consent: The limits of autonomy” Add to Reading List Source URL: www.crb.uu.se Language: English - Date: 2013-09-25 06:03:34 Behavior Moral philosophers Autonomy Cybernetics Individualism Immanuel Kant RWTH Aachen University Dignity Klinikum Aachen Philosophy Ethics Aachen
270	Synthesizing Structured Reactive Programs via Deterministic Tree Automata Benedikt Br¨utsch RWTH Aachen University, Lehrstuhl f¨ur Informatik 7, Germany [removed] Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-05-15 08:25:21 Applied mathematics Ω-automaton Algorithm Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science

UPDATE